Modeling a Car Safety Controller using Fluid Stochastic Petri Nets
نویسنده
چکیده
This extended abstract investigates the performability features of a car safety controller operating in a road tunnel. The controller issues alarms when the distance between two consecutive vehicles is lower than a given limit. We propose to model the controller by Fluid Stochastic Petri Net (FSPN). Several performance indices are evaluated in normal and abnormal conditions.
منابع مشابه
An Application for the Control of Stochastic Petri nets via Fluidification Approach
Petri nets are frequently used for modeling and analysis of discrete event systems. Similar to other modeling formalisms for discrete systems, it suffers from state explosion. Fluidification can be used to overcome this difficulty yielding fluid approximation of original Petri nets in the sense of behaviours and properties. This models are called continuous Petri nets. In this work, stochastic ...
متن کاملModeling and Performance Evaluation of Energy Consumption in S-MAC Protocol Using Generalized Stochastic Petri Nets
One of the features of wireless sensor networks is that the nodes in this network have limited power sources. Therefore, assessment of energy consumption in these networks is very important. What has been common practice has been the use of traditional simulators to evaluate the energy consumption of the nodes in these networks. Simulators often have problems such as fluctuating output values i...
متن کاملModeling of Continuous Systems Using Modified Petri Nets
Due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. This paper employs Modified Petri Nets (MPN) to model theses subsystems and makes it simple to analyze them. In this method, first, the continuous transfer function is converted to a discrete transfer function and then, by MPN, system is modeled and analyzed. All...
متن کاملThe Evolution of Stochastic Petri Nets
Analytical modeling is a crucial part in the analysis and design of computer systems. Stochastic Petri Nets represent a powerful tool, widely used for dependability, performance and performability modeling. Many structural and stochastic extensions have been proposed so as to increase their modeling power. In this paper we review the main structural and stochastic extensions of Petri nets, by p...
متن کاملFormal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کامل